How Do I Revise My Agent’s Action Theory?
نویسنده
چکیده
Logical theories in reasoning about actions may also evolve, and knowledge engineers need revision tools to incorporate new incoming laws about the dynamic environment. We here fill this gap by providing an algorithmic approach for action theory revision. We give a well defined semantics that ensures minimal change, and show correctness of our algorithms w.r.t. the semantic constructions.
منابع مشابه
Considerations on Belief Revision in an Action Theory
Among the many and varied areas that Vladimir Lifschitz has worked on is reasoning about action and change, in particular with respect to action languages, where an action language in turn is based on the underlying semantic notion of a transition system. Transition systems have been shown to be an elegant, deceptively simple, yet rich framework from which to address problems of action conseque...
متن کاملExplaining Emotional Outbursts: A Davidsonian Account of Hursthouse’s Arational Actions
In his paper, “Actions, Reasons, and Causes,” Donald Davidson discusses what makes an action intentional. According to Davidson, an agent acts intentionally if the agent acts for a reason. He defines reason as “a belief and desire” (5). This means that the agent desires to perform an action of a certain type and believes that the action she chooses is of that type. This explanation is very plau...
متن کاملTwo Kinds of Practical Knowledge
e goal of this dissertation is to provide a unified account of two kinds of practical knowledge and the structure of intentional action. e topic of practical knowledge presents philosophical difficulties because of the modern tendency to picture cognition and the will as opposed: the will is concerned with changing the world, cognition with representing it as it already is. us the expression...
متن کاملA Myth resurgent: classical foundationalism and the new Sellarsian critique
Abstract: One important strand of Sellars’s attack on classical foundationalism from Empiricism and the Philosophy of Mind is his thesis about the priority of is-talk over looks-talk. This thesis has been criticized extensively in recent years, and classical foundationalism has found several contemporary defenders. I revisit Sellars’s thesis and argue that is-talk is epistemically prior to look...
متن کامل5 Action
My arm rises. Is my arm rising something happening to me – say, a movement caused by a muscle spasm or by somebody pulling a string attached to my wrist – or is it my own doing – am I raising my arm? What does it mean to say that I am raising my arm intentionally? Must it be the case that a conscious intention to do so causes my arm to rise? How do I know that I am raising my arm, and does that...
متن کامل